proof of properties of expectation